Free shipping on all orders! No minimum purchase required.
Hybrid Systems
by Oded Maler (Editor), Amir Pnueli (Editor), Freek Wiedijk (Editor)
Temporal Verification of Reactive Systems
by Zohar Manna (Editor), Amir Pnueli (Editor)
